Equalizers in the Category of Cocomplete Cocategories
نویسندگان
چکیده
We prove existence of equalizers in certain categories of cocomplete cocategories. This allows us to complete the proof of the fact that A∞-functor categories arise as internal Hom-objects in the category of differential graded cocomplete augmented cocategories.
منابع مشابه
Cartesian closed subcategories of topological fuzzes
A category $mathbf{C}$ is called Cartesian closed provided that it has finite products and for each$mathbf{C}$-object $A$ the functor $(Atimes -): Ara A$ has a right adjoint. It is well known that the category $mathbf{TopFuzz}$ of all topological fuzzes is both complete and cocomplete, but it is not Cartesian closed. In this paper, we introduce some Cartesian closed subcategories of this cat...
متن کاملLimits and colimits in the category of pre-directed complete pre-ordered sets
In this paper, some categorical properties of the category { Pre-Dcpo} of all pre-dcpos; pre-ordered sets which are also pre-directed complete, with pre-continuous maps between them is considered. In particular, we characterize products and coproducts in this category. Furthermore, we show that this category is neither complete nor cocomplete. Also, epimorphisms and monomorphisms in {Pre-Dcpo} ...
متن کاملCategorical Structures Enriched in a Quantaloid: Tensored and Cotensored Categories
A quantaloid is a sup-lattice-enriched category; our subject is that of categories, functors and distributors enriched in a base quantaloid Q. We show how cocomplete Q-categories are precisely those which are tensored and conically cocomplete, or alternatively, those which are tensored, cotensored and ‘order-cocomplete’. In fact, tensors and cotensors in a Q-category determine, and are determin...
متن کاملTotality of colimit closures
Adámek, Herrlich, and Reiterman showed that a cocomplete category A is cocomplete if there exists a small (full) subcategory B such that every A-object is a colimit of B-objects. The authors of the present paper strengthened the result to totality in the sense of Street and Walters. Here we weaken the hypothesis, assuming only that the colimit closure is attained by transfinite iteration of the...
متن کاملCategorical structures enriched in a quantaloid: projective cocomplete categories
We study the different guises of the projective objects in Cocont(Q): they are the “completely distributive” cocomplete Q-categories (the left adjoint to the Yoneda embedding admits a further left adjoint); equivalently, they are the “totally continuous” cocomplete Q-categories (every object is the supremum of the presheaf of objects “totally below” it); and also are they the Q-categories of re...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006